Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices

Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI...

Fuzzy attribute logic over complete residuated lattices

We present a logic, called fuzzy attribute logic, for reasoning about formulas describing particular attribute dependencies. The formulas are of a form A ⇒ B where A and B are collections of attributes. Our formulas can be interpreted in two ways. First, in data tables with entries containing degrees to which objects (table rows) have attributes (table columns). Second, in database tables where...

Fuzzy Integrals over Complete Residuated Lattices

The aim of this paper is to introduce two new types of fuzzy integrals, namely, ⊗-fuzzy integral and →-fuzzy integral, where ⊗ and → are the multiplication and residuum of a complete residuated lattice, respectively. The first integral is based on a fuzzy measure of L-fuzzy sets and the second one on a complementary fuzzy measure of L-fuzzy sets, where L is a complete residuated lattice. Some o...

Cardinalities of Fuzzy Sets and Fuzzy Quantifiers over Residuated Lattices

FUZZY CONVEX SUBALGEBRAS OF COMMUTATIVE RESIDUATED LATTICES

In this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. In particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. Then we study fuzzy...